$\forall$$a$:$\mathbb{Z}$, $b$:$\mathbb{Z}^{-\circ}$. $b$ $\mid$ $a$ $\Leftrightarrow$ ($a$ rem $b$) $=$ 0